منابع مشابه
Notes on Filtrations, Topologies, and Completions
(i) G is Hausdorff. (ii) Points in G are closed. (iii) The Gi intersect in {e}. Of course, (i) implies (ii) by general topology. For (ii) implies (i), the diagonal in G×G is μ(e), where μ(g, h) = gh. Since G−Gi is the union of the cosets gGi with g / ∈ Gi, G−Gi is open, hence G−Gi is both open and closed, hence so is Gi. Now (iii) clearly implies (ii). If x is in all Gi and is not e, then there...
متن کاملDetecting perfect powers in essentially linear time
This paper (1) gives complete details of an algorithm to compute approximate kth roots; (2) uses this in an algorithm that, given an integer n > 1, either writes n as a perfect power or proves that n is not a perfect power; (3) proves, using Loxton’s theorem on multiple linear forms in logarithms, that this perfect-power decomposition algorithm runs in time (log n)1+o(1).
متن کاملActions, Institutions, Powers. Preliminary Notes
In this paper we analyse some logical notions relevant for representing the dynamics of institutionalised organisations. In particular, some well-known action concepts introduced in the Kanger-Lindahl-Pörn logical theory of agency are discussed and integrated. Secondly, moving from the work of Jones and Sergot, a logical characterisation is provided of the ideas of institutional links, “counts-...
متن کاملFiltrations and Basic Proof Theory Notes for Lecture 5
Note that !Σ is an equivalence relation. Let |w|Σ = {v | w !Σ v} denote the equivalence class of w under !Σ. Definition 1.1 (Filtration) Let M = 〈W,R, V 〉 be a Kripke model. Given a set of formulas closed under subformulas, a model Mf = 〈W f , Rf , V f 〉 is said to be a filtration of M through Σ provided • W f = {|w|Σ | w ∈W} • If wRv then |w|ΣR |v|Σ • If |w|ΣR |v|Σ then for each 3φ ∈ Σ, if M, ...
متن کاملOn Divisorial Filtrations on Sheaves
A notion of Poincaré series was introduced in [1]. It was developed in [2] for a multi-index filtration corresponding to the sequence of blow-ups. The present paper suggests the way to generalize the notion of Poincaré series to the case of arbitrary locally free sheaf on the modification of complex plane C 2. This series is expressed through the topological invariants of the sheaf. For the she...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Michigan Mathematical Journal
سال: 1979
ISSN: 0026-2285
DOI: 10.1307/mmj/1029002263